//
// Created by wkm on 2023-12-13.
//

#include "oai321.h"

void oai321::prc_oai321() {
    bool temp_z;

    while (true) {
        // 等待敏感列表中的事件发生
        wait();
        temp_z = ~((a1 || a2 || a3) && (b1 || b2) && c);
        wait(GATE_DELAY, SC_NS);
        z = temp_z;
    }
}